Many-valued logic - PDFSEARCH.IO - Document Search Engine

Many-valued logic
Results: 76

#	Item
51	MUltseq: a Generic Prover for Sequents and Equations? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, Barcelona, [removed] Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 14:16:25 Sequent calculus Sequent Many-valued logic Łukasiewicz logic Truth table Natural deduction Admissible rule Logic Mathematical logic Proof theory
52	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
53	A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:45:27 Algebra Formal languages Algebraic logic Many-valued logic Boolean algebra Kleene algebra Kleene star Semiring Stephen Cole Kleene Abstract algebra Mathematics Algebraic structures
54	Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practi Add to Reading List Source URL: www.modern-medical-science.site88.net Language: English - Date: 2013-02-01 20:00:14 Non-classical logic Metalogic Model theory Entailment Interpretation Many-valued logic Modal logic Newton da Costa Logical connective Logic Philosophical logic Paraconsistent logic
55	IEEE Computer TC on Society Multiple-Valued Logic JRG-MVL Add to Reading List Source URL: science.icu.ac.jp Language: English - Date: 2002-05-29 23:21:05 Mathematics Artificial intelligence Many-valued logic Fuzzy logic Mathematical logic Logic Logic in computer science Science
56	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics ? Yue Ma1,2 , Guilin Qi2 , Pascal Hitzler2 , and Zuoquan Lin1 1 Department of Information Science, Peking University, China Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Information science Technical communication Knowledge representation Ontology Entailment Proj construction Description logic Many-valued logic Logic Science Philosophical logic
57	Microsoft Word - A Boolean Lattice Based Fuzzy Description Logic in Web Computing Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Algebraic structures Mathematics Artificial intelligence Logic in computer science Boolean algebra Fuzzy set Fuzzy concept Lattice Many-valued logic Logic Mathematical logic Fuzzy logic
58	I N S T I T U T I O N T H E O RY A N D A P P L I C AT I O N S ˘ Z VA N D I A C O N E S C U RA Add to Reading List Source URL: imar.ro Language: English - Date: 2014-05-21 03:45:34 Model theory Theoretical computer science Many-valued logic Institution Classical logic Universal logic Formal semantics First-order logic Alexander Grothendieck Logic Mathematics Mathematical logic
59	MUltlog 1.0: Towards an Expert System for Many-valued Logics? ?? Vienna Group for Multiple-valued Logics??? Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-11 11:50:57 Predicate logic Classical logic Propositional calculus Philosophical logic Many-valued logic Natural deduction First-order logic Modal logic Sequent calculus Logic Mathematical logic Proof theory
60	Shaping the logic of fuzzy set theory Siegfried Gottwald1 Add to Reading List Source URL: www.uni-leipzig.de Language: English - Date: 2009-12-01 16:25:38 T-norm fuzzy logics Monoidal t-norm logic BL Many-valued logic T-norm Łukasiewicz logic Fuzzy set Membership function Intuitionistic logic Logic Fuzzy logic Mathematical logic